$\vdash$  $\forall$$i$:\{$\ldots\,$0\}. $\mid$$i$$\mid$ = ({-}$i$)